Sheaf Semantics for Physically Motivated Network Description with Applications

This paper introduces the notion of event space, a physically motivated mathematical model of distributed non-deterministic concurrent interaction based on Goguen's work on sheaf semantics. It provides unifying compositional semantics suitable for network and protocol description, which we demonstrate by designing a formal language, network resource calculus (NRC), for which we use the event space as a model. We sketch how NRC can be utilized in two application scenarios: specification of information-centric protocols and proof-carrying network description in protocols, that can be used together

Исследование и технологическое обеспечение качества обработки для деталей узла «барабан в сборе» на АО «ПМЗ»

Целью данной работы является исследование и технологическое обеспечение качества oбрaбoтки для деталей узла барaбaн в сборе для АО "Павлодарский машиностроительный завод" Научная новизна:полученные данные при исследовании напряженно-деформированного состояния узла барaбaн в сборе при переменных нагрузках с использованием компьютерного моделирования; разработана ресурсосберегающая технология изготовления детали барaбaн в сборе; разработан технологический процесс для барaбaнов большего диаметра (более 350мм) получения кольцевых заготовок прогрессивным методом центробежного литья с последующей их автоматической сваркой;разработана схема приспособления к токарно-карусельному станку для реализации технологического процесса отделочно-упрочняющей oбрaбoтки тяжелонагруженных зубчатых венцовThe purpose of this work is research and technological assurance of the quality of workmanship for parts of the assembly baraban assembly for "Pavlodar Machine-Building Plant" Scientific novelty: the data obtained in the study of the stress-strain state of the assembly baraban under variable loads using computer simulation; a resource-saving technology for manufacturing a complete bar part has been developed; a technological process has been developed for barbs with a larger diameter (more than 350 mm) for the production of circular blanks by the progressive method of centrifugal casting with their subsequent automatic welding; a scheme has been developed for adapting to a vertical turning lathe for the implementation of the technological process of finishing and hardening work

Non-adjacent Digrams Improve Matching of Cross-Lingual Spelling Variants

The original publication is available at www.springerlink.com

Fotoniikasta valoa Suomen hyvinvointiin. Selvitys alan vaikuttavuudesta ja kasvunäkymistä

Saarinen, J. & Purmonen, J. (toim.)201